../../basic_no_deps_address_assigned/sources/M.move